<?php

function smarty_modifier_number_format($number, $precision = 0, $decimal = null, $thousands = '.') {
	return number_format($number, $precision, $decimal, $thousands);
}

?>